((v9 v6 6) (v7 v9 8) (v3 v10 9) (v10 v6 1) (v11 v7 2) (v9 v11 9) (v7 v5 8) (v4 v8 3) (v9 v10 9) (v11 v12 7) (v7 v3 9) (v2 v9 7) (v5 v1 8) (v7 v1 9) (v6 v5 7) (v8 v7 5) (v10 v2 2) (v10 v11 0) (v1 v10 7) (v3 v8 9) (v11 v3 1) (v11 v5 9) (v6 v4 5) (v1 v6 5) (v12 v8 6) (v12 v5 4) (v9 v4 1) (v9 v8 7) (v4 v2 3) (v9 v12 5) (v7 v2 4) (v1 v9 2) (v5 v8 4) (v3 v5 6) (v4 v1 3) (v4 v3 3) (v10 v12 8) (v12 v7 8) (v1 v11 7) (v5 v2 4))
100
((v3 v8) (v9 v1) (v3 v11))